Specifics of automatic switches commutation testing

Specifics of Imaging Practice

As the individual titles make evident, this conference reflects the use of images drawn from a composite of interests and backgrounds. And there is certainly much going on in imaging, whether it is yet another site on the Internet showing pictures, more institutions exploring how to move their visual collections into electronic form, or the crafting of new analytic and interpretative applicatio...

Malaria Specifics

automatic verification of authentication protocols using genetic programming

implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...

Commutation Structures

For fixed object X in a monoidal category, an X-commutation structure on an object A is just a map X⊗A → A⊗X. We study aspects of such structures in case A has a dual object. We consider a monoidal category V,⊗, I; for simplicity we let it be strict (the application we have in mind is anyway a category of endofuncors on a category, with composition as ⊗). Let X be an object in V, fixed througho...

Optimal Coordination of Automatic Line Switches for Distribution Systems

For the Taiwan Power Company (Taipower), the margins of coordination times between the lateral circuit breakers (LCB) of underground 4-way automatic line switches and the protection equipment of high voltage customers are often too small. This could lead to sympathy tripping by the feeder circuit breaker (FCB) of the distribution feeder and create difficulties in protection coordination between...